#include <stdio.h>
#include <stdlib.h>
#include <arm_neon.h>

uint32_t a[1024];

int init() {
	int i;
	for(i=0; i<1024; i++) {
		a[i] = i;
	}
	return 0;
}

int setv_s(uint32x4_t *t) {
	*t = vld1q_u32(a);
	return 0;
}

int printv_s_c(uint32x4_t t) {
	printf("%d, %d, %d, %d\n", t[0], t[1], t[2], t[3]);
	return 0;
}
